top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
[Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski
[Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, c1987-
Descrizione fisica 6 v. ; 28 cm
Collana Perspectives in mathematical logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Bibliography of mathematical logic
Record Nr. UNINA-990009132090403321
Berlin ; New York : Springer-Verlag, c1987-
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1978
Descrizione fisica xii, 476 p. ; 24 cm
Disciplina 160
Collana Lecture notes in mathematics
Soggetto non controllato Teoria degli insiemi
ISBN 3-540-08926-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001022880403321
Berlin [etc.] : Springer-Verlag, 1978
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
ISILC logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp and K. Potthoff
ISILC logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp and K. Potthoff
Autore International summer institute and logic colloquium : <1974
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1975
Descrizione fisica IV, 651 p. ; 24 cm
Disciplina 160
Collana Lecture notes in mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-07534-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001037170403321
International summer institute and logic colloquium : <1974  
Berlin ; New York : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
ISILC proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller ... [et al.]
ISILC proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller ... [et al.]
Autore ISILC proof theory symposion : <1974
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1975
Descrizione fisica VI, 383 p. ; 24 cm
Disciplina 160
Collana Lecture notes in mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-07533-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000984430403321
ISILC proof theory symposion : <1974  
Berlin ; New York : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
ISILC proof theory symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edited by J. Diller, G. H. Muller
ISILC proof theory symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edited by J. Diller, G. H. Muller
Pubbl/distr/stampa Berlin : Springer-Verlag, c1975
Descrizione fisica viii, 383 p. ; 24 cm
Disciplina 511.3
Collana Lecture Notes in Mathematics
Soggetto non controllato Teoria della ricorsivita'
Matematica intuitiva
Matematici - 20. sec. - schutte k. - anniversari
ISBN 3-540-07533-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001205100403321
Berlin : Springer-Verlag, c1975
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / Editors Klaus Ambos-Spiers, Gert H. Muller, Gerald E. Sacks.
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / Editors Klaus Ambos-Spiers, Gert H. Muller, Gerald E. Sacks.
Pubbl/distr/stampa Berlin : Springer-Verlag, c1990
Descrizione fisica vi, 393 p. ; 25 cm
Disciplina 511.35
Collana Lecture Notes in Mathematics
Soggetto non controllato Teoria della ricorsivita'
Teoria degli insiemi
ISBN 3-540-52772-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001322930403321
Berlin : Springer-Verlag, c1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany April 15-21, 1984 / edited by H.-D. Ebbinghaus, G. H. Muller and G. E. Sacks
Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany April 15-21, 1984 / edited by H.-D. Ebbinghaus, G. H. Muller and G. E. Sacks
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, ©1985
Descrizione fisica IX, 418 p. : ill. ; 24 cm
Disciplina 160
Collana Lecture Notes in Mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-15673-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000986930403321
Berlin [etc.] : Springer-Verlag, ©1985
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The study of time : proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black Forest) - West Germany / edited by J.T. Fraser, F.C. Haber, G.H. Müller
The study of time : proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black Forest) - West Germany / edited by J.T. Fraser, F.C. Haber, G.H. Müller
Autore International society for the study of time
Pubbl/distr/stampa Berlin : Springer, 1972
Descrizione fisica VIII, 550 p. ; 26 cm
Disciplina 530
Soggetto non controllato Fondamenti della fisica
ISBN 3-540-05824-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000994990403321
International society for the study of time  
Berlin : Springer, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Zur Synopse : Untersuchung über die Arbeitsweise des Lk und Mt und ihre Quellen, namentlich die Spruchquelle, im Anschluss an eine Synopse Mk-Lk-Mt / G. H. Muller
Zur Synopse : Untersuchung über die Arbeitsweise des Lk und Mt und ihre Quellen, namentlich die Spruchquelle, im Anschluss an eine Synopse Mk-Lk-Mt / G. H. Muller
Autore Müller, Gert Heinz
Pubbl/distr/stampa Göttingen : Vandenhoeck und Ruprecht, 1908
Descrizione fisica 60 p. ; 24 cm
Disciplina 226.2
226.4
Collana Forschungen zur Religion und Literatur des Alten und Neuen Testaments
Soggetto non controllato Luca : Evangelista santo
Marco : Evangelista santo
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-990004458870403321
Müller, Gert Heinz  
Göttingen : Vandenhoeck und Ruprecht, 1908
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui